natural partial ordering

[数] 自然偏序